Refining Transitive and Pseudo-Transitive Relations at Web Scale

نویسندگان

چکیده

The publication of knowledge graphs on the Web in form RDF datasets, and subsequent integration such are both essential to idea Linked Open Data. Combining can result undesirable graph structures even logical inconsistencies. Refinement methods that detect repair therefore crucial importance. Existing refinement for often domain-specific, limited single relations (e.g. owl:sameAs), or scale. We present a challenge consisting number datasets transitive pseudo-transitive hand-labeled gold standards, as well baselines. introduce an efficient web-scale algorithm works relations. Our analyses structure, allows use weighting schemes heuristically determine which possibly erroneous edges should be removed make cycle free. When compared against general-purpose algorithms perform same task, our removes least amount cycle-free while maintaining better precision identifying measured human gold-standard.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Transitive and pseudo-transitive inferences.

Given that A is longer than B, and that B is longer than C, even 5-year-old children can infer that A is longer than C. Theories of reasoning based on formal rules of inference invoke simple axioms ("meaning postulates") to capture such transitive inferences. An alternative theory proposes instead that reasoners construct mental models of the situation described by the premises in order to draw...

متن کامل

Counting Transitive Relations

In order to count partial orders on a set of n points, it seems necessary to explicitly construct a representative of every isomorphism type. While that is done, one might as well determine their automorphism groups. In this note it is shown how several other types of binary relations can be counted, based on an explicit enumeration of the partial orders and their automorphism groups. A partial...

متن کامل

Lifted Inference on Transitive Relations

Lifted inference algorithms are able to boost efficiency through exploiting symmetries of the underling firstorder probabilistic models. Models with transitive relations (e.g., if X and Y are friends and so are Y and Z, then X and Z will likely be friends) are essential in social network analysis. With n elements in a transitive relation model, the computational complexity of exact propositiona...

متن کامل

Transitive Closure of Fuzzy Relations

In this paper X, Y denote non empty sets. Let X be a non empty set. Observe that every membership function of X is real-yielding. Let f , g be real-yielding functions. The predicate f ⊑ g is defined by: (Def. 1) dom f ⊆ dom g and for every set x such that x ∈ dom f holds f(x) ¬ g(x). Let X be a non empty set and let f , g be membership functions of X. Let us observe that f ⊑ g if and only if: (...

متن کامل

Rewrite Techniques for Transitive Relations

We propose inference systems for dealing with transitive relations in the context of resolutiontype theorem proving. These inference mechanisms are based on standard techniques from term rewriting and represent a refinement of chaining methods. We establish their refutational completeness and also prove their compatibility with the usual simplification techniques used in rewrite-based theorem p...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Lecture Notes in Computer Science

سال: 2021

ISSN: ['1611-3349', '0302-9743']

DOI: https://doi.org/10.1007/978-3-030-77385-4_15